(declare-fun a () Real)
(declare-fun b () Real)
(declare-fun c () Real)
(declare-fun d () Real)
(declare-fun e () Real)
(declare-fun f () Real)
(declare-fun i () Real)
(declare-fun g () Real)
(assert (not (exists ((h Real)) (=> (and (xor (and (= (- (div 1 h)) 0.0) (= a 2.0)) (= e 2.0)) (= i f g)) (distinct 0.0 b) (=> (< h b) (<= 0.0 (mod (* c h) d))) (<= 0 f)))))
(check-sat)
